GermanWikipedia - /page/entry.mu

Micron Document

<!DOCTYPE html>

<title>Logizismus</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Logizismus</span></h1>

</header>

</div>

<p>Der <b>Logizismus</b> oder das <b>logizistische Programm</b> bezeichnet eine bestimmte Position in der <a href="Mathematiktheorie" class="mw-redirect" title="Mathematiktheorie">Philosophie der Mathematik</a>, die auch in anderen philosophischen Teildisziplinen in der ersten Hälfte des 20. Jh. einflussreich war. Der Ansatz wurde zuerst von <a href="Gottlob_Frege" title="Gottlob Frege">Gottlob Frege</a> Ende des 19. Jahrhunderts formuliert und besagt im Kern, dass sich die <a href="Mathematik" title="Mathematik">Mathematik</a> auf die <a href="Logik" title="Logik">Logik</a> zurückführen lässt.<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup>

</p><p>Die Gegenposition zur Theorie des Logizismus ist, dass es sich bei der Logik um einen Zweig der Mathematik handelt, die Mathematik also das Fundamentalere ist. Diese Position wurde implizit von den Pionieren der <a href="Mathematische_Logik" title="Mathematische Logik">mathematischen Logik</a> im 19. Jahrhundert, <a href="Georg_Cantor" title="Georg Cantor">Georg Cantor</a> und <a href="George_Boole" title="George Boole">George Boole</a>, vertreten.<sup id="cite_ref-:0_2-0" class="reference"><a href="#cite_note-:0-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup>

</p>

<div class="mw-heading mw-heading2"><h2 id="Alter_Logizismus">Alter Logizismus</h2></div>

<p>Im Groben lässt sich der Logizismus in zwei Teilpositionen aufspalten:

</p>

<ol><li>Alle mathematischen Wahrheiten müssen sich anhand von <a href="Definition" title="Definition">Definitionen</a> mit strikten <a href="Ableitung_(Logik)" title="Ableitung (Logik)">Beweisen</a> auf eine fest umgrenzte Anzahl von <a href="Axiom" title="Axiom">Axiomen</a> zurückführen lassen.<sup id="cite_ref-3" class="reference"><a href="#cite_note-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup><sup id="cite_ref-:0_2-1" class="reference"><a href="#cite_note-:0-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup></li>

<li>Bei diesen Axiomen selbst muss es sich um <a href="Evidenz_(Philosophie)" title="Evidenz (Philosophie)">evidente</a> logische Wahrheiten handeln, d. h., sie dürfen nach Freges Worten <i>„eines Beweises weder fähig noch bedürftig“</i> sein.</li></ol>

<p>Zu 1.) Mit der ersten Forderung wollte Frege das Bedürfnis nach einer wissenschaftlichen Fundierung der Mathematik stillen. Bis zu Freges Zeit war man davon ausgegangen, dass es gewisse unbeweisbare mathematische Wahrheiten gibt, hatte aber kaum ernsthaft versucht, diese anzugeben und darzustellen, wie sich die übrigen Wahrheiten von diesen herleiten (Eine bedeutende Ausnahme und gleichzeitig Vorbild Freges ist <a href="Euklid" title="Euklid">Euklid</a> mit seinem Werk „<a href="Euklids_Elemente" class="mw-redirect" title="Euklids Elemente">Die Elemente</a>“). Um sein Vorhaben durchzuführen, musste Frege jedoch erst einmal den Begriff des Beweises präzise fassen. Im Zuge dessen schuf er die erste vollständig explizite <a href="Formale_Sprache" title="Formale Sprache">formale Sprache</a> sowie die noch heute gebräuchliche <a href="Pr%C3%A4dikatenlogik" title="Prädikatenlogik">Prädikatenlogik</a>. Mit diesem Instrumentarium gelang es Frege, den Begriff der <a href="Zahl" title="Zahl">Zahl</a> zu definieren und davon ausgehend elementare <a href="Arithmetik" title="Arithmetik">arithmetische</a> Sätze wie „1 + 1 = 2“ zu beweisen, die man bis dahin für unbeweisbar gehalten hatte.

1931 veröffentlichte <a href="Kurt_G%C3%B6del" title="Kurt Gödel">Gödel</a> seinen <a href="G%C3%B6delscher_Unvollst%C3%A4ndigkeitssatz" title="Gödelscher Unvollständigkeitssatz">Unvollständigkeitssatz</a> und bewies damit, dass jedes widerspruchsfreie, hinreichend mächtige mathematische System wahre Sätze enthält, die aus den Axiomen weder bewiesen noch widerlegt werden können. Selbst wenn man die Menge der Axiome um diese Sätze erweiterte, ließen sich stets neue, nicht beweisbare Sätze konstruieren. Damit war die Unerfüllbarkeit dieser Forderung gezeigt.

</p><p>Zu 2.) Frege hatte seinem System eine Reihe von Axiomen zugrunde gelegt, denen er den Status evidenter Wahrheiten zusprechen konnte. In diesem <a href="Axiomensystem" title="Axiomensystem">Axiomensystem</a> wird jedoch von <a href="Bertrand_Russell" title="Bertrand Russell">Bertrand Russell</a> im Jahr 1902 ein <a href="Kontradiktion" title="Kontradiktion">Widerspruch</a> (die sogenannte <a href="Russellsche_Antinomie" title="Russellsche Antinomie">Russellsche Antinomie</a>) entdeckt. Frege wandte sich daraufhin enttäuscht vom Logizismus ab. In den folgenden Jahren entstanden eine Reihe von sogenannten „axiomatischen Mengentheorien“ wie Russells eigene <a href="Typentheorie" title="Typentheorie">Typentheorie</a> oder die <a href="Zermelo-Fraenkel-Mengenlehre" title="Zermelo-Fraenkel-Mengenlehre">Zermelo-Fraenkel-Mengenlehre</a>. Diese setzen zwar die Forderung einer axiomatischen Grundlegung der Mathematik um, enthalten jedoch immer auch Axiome, die nicht als logisch evident gelten können. Ein besonders klares Beispiel ist das <a href="Unendlichkeitsaxiom" title="Unendlichkeitsaxiom">Unendlichkeitsaxiom</a>, das fordert, dass es unendlich viele Gegenstände (Zahlen) gibt. Nach Freges Vorstellungen hätte eine solche Aussage nicht axiomatisch gesetzt, sondern mit logischen Mitteln bewiesen werden müssen.

</p><p>Wenngleich Freges Logizismus also insbesondere wegen der zweiten oben genannten Forderung als gescheitert angesehen werden muss, hat sich doch die erste Forderung als überaus fruchtbar erwiesen. Die von Frege zur Durchführung des Programms geschaffenen Werkzeuge haben der modernen Logik einen entscheidenden Impuls gegeben, mit der Entwicklung der Mengenlehren wurde ein neuer Zweig der Mathematik begründet.

</p>

<div class="mw-heading mw-heading2"><h2 id="Neo-Logizismus">Neo-Logizismus</h2></div>

<p>Der Neo-Logizismus von <a href="Crispin_Wright" title="Crispin Wright">Crispin Wright</a> beruht auf <a href="Freges_Theorem" title="Freges Theorem">Freges Theorem</a>.<sup id="cite_ref-:0_2-2" class="reference"><a href="#cite_note-:0-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup>

</p>

<div class="mw-heading mw-heading2"><h2 id="Literatur">Literatur</h2></div>

<ul><li>Franz von Kutschera, 1989: <i>Gottlob Frege: Eine Einführung in sein Werk</i>, Walter de Gruyter, Berlin; New York, ISBN 3-11-012129-8.</li>

<li>Paolo Mancosu, 1998: <i>From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s</i>, Oxford University Press, New York, NY, ISBN 0-19-509632-0.</li>

<li>Bertrand Russell, 1912: <i>The Problems of Philosophy</i> (with Introduction by John Perry 1997), Oxford University Press, New York, NY, ISBN 0-19-511552-X.</li>

<li>Howard Eves, 1990: <i>Foundations and Fundamental Concepts of Mathematics Third Edition</i>, Dover Publications, Inc, Mineola, NY, ISBN 0-486-69609-X.</li>

<li>Ivor Grattan-Guinness, 2000: <i>The Search for Mathematical Roots, 1870–1940: Logics, Set Theories and The Foundations of Mathematics from Cantor Through Russell to Gödel</i>, Princeton University Press, Princeton NJ, ISBN 0-691-05858-X.</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>

<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text">Jörg Neunhäuserer: <cite style="font-style:italic">Logizismus</cite>. In: <cite style="font-style:italic">Einführung in die Philosophie der Mathematik</cite>. Springer, Berlin, Heidelberg 2021, ISBN 978-3-662-63714-2, <span style="white-space:nowrap">S.<span style="display:inline-block;width:.2em"> </span>61–79</span>, <a href="Digital_Object_Identifier" title="Digital Object Identifier">doi</a>:<span class="uri-handle" style="white-space:nowrap"><a rel="nofollow" class="external text" href="https://doi.org/10.1007/978-3-662-63714-2_7">10.1007/978-3-662-63714-2_7</a></span> (<a rel="nofollow" class="external text" href="https://link.springer.com/chapter/10.1007/978-3-662-63714-2_7">springer.com</a> [abgerufen am 3. Mai 2023]).<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rfr_id=info:sid/de.wikipedia.org:Logizismus&rft.atitle=Logizismus&rft.au=J%C3%B6rg+Neunh%C3%A4userer&rft.btitle=Einf%C3%BChrung+in+die+Philosophie+der+Mathematik&rft.date=2021&rft.doi=10.1007%2F978-3-662-63714-2_7&rft.genre=book&rft.isbn=9783662637142&rft.pages=61-79&rft.place=Berlin%2C+Heidelberg&rft.pub=Springer" style="display:none"> </span></span>

</li>

<li id="cite_note-:0-2"><span class="mw-cite-backlink">↑ <sup><a href="#cite_ref-:0_2-0">a</a></sup> <sup><a href="#cite_ref-:0_2-1">b</a></sup> <sup><a href="#cite_ref-:0_2-2">c</a></sup></span> <span class="reference-text"><span class="cite"><a rel="nofollow" class="external text" href="https://www.philoclopedia.de/einzeldisziplinen/mathematik/logizismus/"><i>Logizismus.</i></a><span class="Abrufdatum"> Abgerufen am 3. Mai 2023</span> (deutsch).</span><span style="display: none;" class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rfr_id=info%3Asid%2Fde.wikipedia.org%3ALogizismus&rft.title=Logizismus&rft.description=Logizismus&rft.identifier=https%3A%2F%2Fwww.philoclopedia.de%2Feinzeldisziplinen%2Fmathematik%2Flogizismus%2F&rft.language=de-DE"> </span></span>

</li>

<li id="cite_note-3"><span class="mw-cite-backlink"><a href="#cite_ref-3">↑</a></span> <span class="reference-text"><span class="cite"><a rel="nofollow" class="external text" href="https://www.spektrum.de/lexikon/philosophie/logizismus/1240"><i>Logizismus.</i></a><span class="Abrufdatum"> Abgerufen am 3. Mai 2023</span>.</span><span style="display: none;" class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rfr_id=info%3Asid%2Fde.wikipedia.org%3ALogizismus&rft.title=Logizismus&rft.description=Logizismus&rft.identifier=https%3A%2F%2Fwww.spektrum.de%2Flexikon%2Fphilosophie%2Flogizismus%2F1240&rft.language=de"> </span></span>

</li>

</ol></div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2025-01-31" href="https://de.wikipedia.org/wiki/?title=Logizismus&oldid=252860947">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>